منابع مشابه
Notion de sémantiques bien-formées pour les règles
Résumé. La notion de règles entre attributs est très générale, allant des règles d’association en fouille de données aux dépendances fonctionnelles (DF) en bases de données. Malgré cette diversité, la syntaxe des règles est toujours la même, seule leur sémantique diffère. Pour une sémantique donnée, en fonction des propriétés induites, des techniques algorithmiques sont mises en oeuvre pour déc...
متن کاملAlgèbres de réalisabilité: un programme pour bien ordonner R
Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...
متن کاملre-produire pour ne pas reproduire
la répétition, un mécanisme indispensable pour tout apprentissage dont celui des langues étrangères, paraît, depuis un certain temps, avoir perdu en crédibilité dans les nouveaux ensembles pédagogiques. pourtant nul doute de sa nécessité dans le processus d’enseignement/apprentissage par son effet sur la mémoire. dans cet article, après avoir brièvement rappelé la place de la répétition dans le...
متن کاملBien-être de nash : enjeux et difficultés pour une société d'agents
The allocation of m resources between n agents is an AI problem with a great practical interest for automated trading. The general question is how to configure the behavior of bargaining agents to induce a socially optimal allocation. The literature contains many proposals for calculating a social welfare but the Nash welfare seems to be the one which has the most interesting properties for a f...
متن کاملThe Ne Plus Ultra of Tree Graph Inequalities*
With nary mention of a tree graph, we obtain a cluster expansion bound that includes and vastly generalizes bounds as obtained by extant tree graph inequalities. This includes applications to both two-body and many-body potential situations of the recently obtained 'new improved tree graph inequalities" that have led to the 'extra I/N! factors'. We work in a formalism coupling a discrete set of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: HEGEL
سال: 2022
ISSN: ['2115-452X', '2269-0530']
DOI: https://doi.org/10.3917/heg.123.0260